Knihy od autora Marco Bernardo

Zobrazené 1 – 15 z 15 výsledkov

1. 

   Formal Methods for Mobile Computing

   Marco Bernardo, Alessandro Bogliolo | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   61.28 €

   Kúpiť
2. 

   Formal Methods for Hardware Verification

   Marco Bernardo, Alessandro Cimatti | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   61.28 €

   Kúpiť
3. 

   Formal Methods for Quantitative Aspects of Programming Languages

   Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky | Springer, Berlin, 2010

   
   

   Skladom u dodávateľa - Odosielame za 13 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   62.18 €

   Kúpiť
4. 

   Formal Methods for Computational Systems Biology

   Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   61.28 €

   Kúpiť
5. 

   Formal Methods for Web Services

   Marco Bernardo, Luca Padovani, Gianluigi Zavattaro | Springer, Berlin, 2009

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   77.38 €

   Kúpiť
6. 

   Formal Methods for Dynamical Systems

   Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   55.74 €

   Kúpiť
7. 

   Formal Methods for Performance Evaluation

   Marco Bernardo, Jane Hillston | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   61.28 €

   Kúpiť
8. 

   Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

   Marco Bernardo, Rocco de Nicola, Jane Hillston | Springer International Publishing AG, 2016

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   61.28 €

   Kúpiť
9. 

   Formal Methods for Multicore Programming

   Marco Bernardo, Einar Broch Johnsen | Springer International Publishing AG, 2015

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   61.28 €

   Kúpiť
10. 

    Formal Methods for Model-Driven Engineering

    Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio | Springer, Berlin, 2012

    
    

    Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    61.28 €

    Kúpiť
11. 

    Formal Methods for Software Architectures

    Marco Bernardo, Paola Inverardi | Springer, Berlin, 2003

    
    

    Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    61.28 €

    Kúpiť
12. 

    Formal Methods for Executable Software Models

    Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen | Springer International Publishing AG, 2014

    
    

    Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    61.28 €

    Kúpiť
13. 

    A Process Algebraic Approach to Software Architecture Design

    Alessandro Aldini, Marco Bernardo, Flavio Corradini | Springer, Berlin, 2009

    
    

    Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

    Jazyk: Angličtina

    Väzba: Pevná

    61.28 €

    Kúpiť
14. 

    Computer Performance Engineering

    Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

    
    

    Skladom u dodávateľa - Odosielame za 13 - 18 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    62.18 €

    Kúpiť
15. 

    Formal Methods for Eternal Networked Software Systems

    Marco Bernardo, Valerie Issarny | Springer, Berlin, 2011

    
    

    Skladom u dodávateľa - Odosielame za 13 - 18 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    62.18 €

    Kúpiť

Orientačné termín doručenia vidíte priamo v detaile knihy. Zistite viac